Algèbres de Banach ultramétriques, algèbres de Krasner et algèbres de Krasner-Tate

SCINDEMENT D ’ ASSOCIATIVITÉ ET ALGÈBRES DE HOPF par

compatible avec l’unité, alors A est libre comme algèbre associative et commutative (c’est-à-dire est une algèbre symétrique). Ce résultat peut s’étendre à d’autres types d’algèbres à condition de remplacer le produit tensoriel par la somme (colimite) dans cette catégorie d’algèbres (cf. Fresse [Fr] et Oudom [O]). Le but de ce papier est, en un certain sens, de renverser la situation et de mont...

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

Sur la continuité automatique des épimorphismes dans les ☆-algèbres de Banach

Munie de l’involution ,A est dite une -algèbre. Une involution est dite anisotrope si pour tout a dans A on a : a a= 0⇒ a= 0. Un idéal I d’une -algèbre est dit -idéal si I ⊂ I (et alors I = I). Il en résulte alors que tout -idéal est bilatère. De plus, si les seuls -idéaux de A contenu dans I sont (0) et I alors on dit que I est -minimal. Remarquons que si I est un -idéal non nul de A, alors in...

Algèbres de Kleene, réécriture modulo AC et circuits en coq. (Kleene algebra, Rewriting modulo AC and Circuits in Coq)

ing from the implementation. The semantics of a circuit defines precisely its behaviour, but may be too precise, e.g., it may leak some internal implementation details (recall that it is defined by induction over the structure of the circuit). The standard technique [112] to prove that circuits meet some high-level specifications is to prove the following kind of entailment, where the high-leve...

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe